Programming Research Group - PDFSEARCH.IO - Document Search Engine

Programming Research Group
Results: 139

#	Item
121	The Z Notation: A Reference Manual Second Edition J. M. Spivey Programming Research Group Add to Reading List Source URL: spivey.oriel.ox.ac.uk Language: English - Date: 2001-10-02 16:44:20 Formal languages Predicate logic Programming language Mathematical notation First-order logic Z notation Type theory Regular expression EXPRESS Logic Mathematics Mathematical logic
122	McGill University School of Computer Science Sable Research Group Obfuscating Java: the most pain for the least gain Sable Technical Report No[removed] Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2010-01-11 10:16:59 Cross-platform software Java platform Compiler construction Java programming language Obfuscation Java bytecode Decompiler Obfuscated code Java virtual machine Computing Software Computer programming
123	JUNE 19, 2007 FOR IMMEDIATE RELEASE Contact: Jay Huneycutt, Director of Planning & Capital Programming Facilities Management Planning Group[removed], [removed] Add to Reading List Source URL: planning.uark.edu Language: English - Date: 2007-06-21 11:19:46 Cultural studies Humanities American art Getty Foundation Getty Conservation Institute Historic preservation J. Paul Getty Preservation Getty Research Institute J. Paul Getty Trust Museology Conservation-restoration
124	McGill University School of Computer Science Sable Research Group Programmer-friendly Decompiled Java Sable Technical Report No[removed] Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2010-01-11 10:17:16 Cross-platform software Control flow Java programming language Java decompilers Java compiler Decompiler Mocha Java bytecode Javac Computing Software engineering Computer programming
125	The Night Watch James Mickens James Mickens is a researcher in the Distributed Systems group at Microsoft’s Redmond Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-11-11 20:36:36 Procedural programming languages Linux Instruction set architectures Kernel C Operating system Pointer Hacker Thread Computing Computer programming Debugging
126	Report on DIMACS∗ Working Group on Data De-Identification, Combinatorial Optimization, Graph Theory, and the Stat/OR Interface Date of Working Group Meeting: November 9, 2004 Working Group Organizers: Larry Cox, CDC Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2005-12-07 09:02:22 Geometry Linear programming Leonid Khachiyan Polytope DIMACS Cutting-plane method Unimodular matrix Combinatorial optimization Four-dimensional space Mathematics Operations research Mathematical optimization
127	McGill University School of Computer Science Sable Research Group Oxford University Computing Laboratory Programming Tools Group Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2010-01-11 10:16:57 Aspect-oriented software development Aspect-oriented programming Cross-platform software AspectJ Join point Sable Research Group Java bytecode Java Bytecode Software development Software Computing
128	In: Discrete Mathematics Research Progress Editor: Kenneth B. Moore, pp[removed]ISBN[removed]4 c 2007 Nova Science Publishers, Inc. ° Add to Reading List Source URL: www.esi2.us.es Language: English - Date: 2007-12-12 05:53:00 Integer sequences Number theory Analysis of algorithms Cooperative game Summation Dynamic programming Big O notation Presentation of a group Factorial Mathematics Mathematical notation Operations research
129	Amsterdam Optimization Modeling Group LLC Modeling with Excel+OML, a practical guide This document describes the use of Microsoft’s OML language to specify Mathematical Add to Reading List Source URL: amsterdamoptimization.com Language: English - Date: 2009-10-16 16:53:37 Applied mathematics Computer algebra systems Mathematical software Mathematical modeling Linear programming AMPL Quadratic programming Mathematical model General Algebraic Modeling System Operations research Mathematics Mathematical optimization
130	Research Overview Distributed Computing Generally speaking, we are interested in both theory and practice of computer science and information technology. In our group we cultivate a large breadth of areas, reflecting ou Add to Reading List Source URL: www.dcg.ethz.ch Language: English - Date: 2012-06-08 02:39:07 Symposium on Principles of Distributed Computing Symposium on Parallelism in Algorithms and Architectures Conference on Embedded Networked Sensor Systems Symposium on Foundations of Computer Science International Conference on Information Processing in Sensor Networks Symposium on Theory of Computing Distributed computing International Colloquium on Automata Languages and Programming ACM SIGACT Computer science Computing Wireless sensor network

UPDATE